Structurally characterized terminal manganese(iv) oxo tris(alkoxide) complex
نویسندگان
چکیده
منابع مشابه
A Structurally Characterized Organometallic Plutonium(IV) Complex
The blood-red plutonocene complex Pu(1,3-COT'')(1,4-COT'') (4; COT''=η8 -bis(trimethylsilyl)cyclooctatetraenyl) has been synthesized by oxidation of the anionic sandwich complex Li[Pu(1,4-COT'')2 ] (3) with anhydrous cobalt(II) chloride. The first crystal structure determination of an organoplutonium(IV) complex revealed an asymmetric sandwich structure for 4 where one COT'' ring is 1,3-substit...
متن کاملA well-defined terminal vanadium(III) oxo complex.
The ubiquity of vanadium oxo complexes in the V+ and IV+ oxidation states has contributed to a comprehensive understanding of their electronic structure and reactivity. However, despite being predicted to be stable by ligand-field theory, the isolation and characterization of a well-defined terminal mononuclear vanadium(III) oxo complex has remained elusive. We present the synthesis and charact...
متن کاملRepairing Structurally Complex Data
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them, the algorithm performs repair actions that mutate the given structure to generate a new structure that satisfies the constraints. Assertions are written as imperative predicates, which can express rich structural pr...
متن کاملGenerating Representation Invariants of Structurally Complex Data
Generating likely invariants using dynamic analyses is becoming an increasingly effective technique in software checking methodologies. This paper presents Deryaft, a novel algorithm for generating likely representation invariants of structurally complex data. Given a small set of concrete structures, Deryaft analyzes their key characteristics to formulate local and global properties that the s...
متن کاملGenerating Structurally Complex Tests from Declarative Constraints
This dissertation describes a method for systematic constraint-based test generation for programs that take as inputs structurally complex data, presents an automated SAT-based framework for testing such programs, and provides evidence on the feasibility of using this approach to generate high quality test suites and find bugs in non-trivial programs. The framework tests a program systematicall...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemical Science
سال: 2018
ISSN: 2041-6520,2041-6539
DOI: 10.1039/c8sc01164h